/*1:*/
#line 10 "lasched.w"

u32_t*lasched(u32_t*,u32_t*,u32_t*,u32_t,u32_t**,u32_t,u32_t,u32_t);
u32_t*lasched_1(u32_t*,u32_t*,u32_t*,u32_t,u32_t**,u32_t,u32_t);

/*:1*/
